" E.-R. Olderog" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rudiger Olderog, Henning Dierks

12.36 Mb

#2

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)

Ernst-Rudiger Olderog, Bernhard Steffen

Категория: Компьютеры

6.13 Mb

#3

Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Категория: Компьютеры

2.53 Mb

#4

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Volume 23)

E.-R. Olderog

5.53 Mb

#5

Correct system design: recent insights and advances (Lecture Notes in Computer Science 1710)

Bernhard Steffen, E.-R. Olderog

5.53 Mb

#6

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rüdiger Olderog, Henning Dierks

1.73 Mb

#7

Correct System Design

Ernst-Rüdiger Olderog, Bernhard Steffen

Категория: CsLn_

5.79 Mb

#8

Correct System Design

Ernst-Rüdiger Olderog, Bernhard Steffen

Категория: CsLn_

1.59 Mb

#9

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Категория: Cs_Computer science, CsAl_Algorithms

1.25 Mb

#10

Verification of sequential and concurrent programs

Apt K.R., de Boer F.S., Olderog E.-R. (eds.)

2.10 Mb

#11

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ...

Werner Damm, Ernst-Rüdiger Olderog

5.33 Mb